141. Logic : a foundation for computer science
Author: Sperschneider, V.
Library: Central library and information center (Khorasan Razavi)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
S6787
1991
142. Logic and Algebraic Methods
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and Mathematical. ; Computer Science. ;
143. Logic and Grammar :
Author: edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
P98
.
E358
2011
144. Logic and Grammar :
Author: edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
145. Logic and algebra of specification
Author: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35N37
1991
146. Logic and automata
Author: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
Classification :
QA
,
267
,.
L624
,
2008
147. Logic and automata
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
148. Logic and computer science
Author: edited by Piergiorgio Odifreddi
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Computer science
Classification :
QA
9
.
L5
1990
149. Logic and discrete mathematics :
Author: Willem Conradie, Valentin Goranko.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.
150. Logic and discrete mathematics: a computer science perspectine
Author: Grassmann, Winfried Karl
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, Symbolic and mathematical ► Computer science-mathematics
Classification :
005
G878l
151. Logic for applications
Author: Nerode, Anil
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
N47
1997
152. Logic for applications
Author: / Anil Nerode, Richard A. Shore
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science-mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
,
N47
1997
153. Logic for applications /
Author: Anil Nerode, Richard A. Shore
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
N47
1997
154. Logic from computer science
Author: Y.N. Moschovakis, editor
Library: Vali Asr University Central Library (Kerman)
Subject: Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
Classification :
QA
9
.
A1
,
L64
1991
155. Logic from computer science
Author: Y.N. Moschovakis, editor
Library: Vali Asr University Central Library (Kerman)
Subject: Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
Classification :
QA
9
.
A1
,
L64
1991
156. Logic from computer science : Proceedings of a Workshop held November 13-17, 1989
Author: Yiannis Moschovakis, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
Classification :
QA
9
.
A1W65
1989
157. Logic from computer science : proceedings of a workshop held November 13-17, 1989
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical--Congresses,، Computer science--Congresses
Classification :
QA
9
.
A1
.
L64
1991
158. Logic from computer science : proceedings of a workshop held November 13-17, 1989
Author: Y.N. Moschovakis, editor
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
Classification :
QA
1
.
M3
v
.
21
159. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
S9393
2001
